es\_realizer\{i:l\} $\subseteq$r es\_realizer\{i':l\}